Compatible elements in partly ordered groups

Compatible elements in partly ordered groups

Some conditions equivalent to a strong quasi-divisor property (SQDP) for a partly ordered group G are derived. It is proved that if G is defined by a family of t-valuations of finite character, then G admits an SQDP if and only if it admits a quasi-divisor property and any finitely generated t-ideal is generated by two elements. A topological density condition in topological group of finitely g...

On Partly Ordered Fields

A Class of Naturally Partly Ordered Commutative Archimedean Semi- Groups with Maximal Condition

Let 5 be a commutative semigroup. For a, b £5, we say that a divides b (or b is a multiple of a), and write a\b, if either a = b or ax = b for some x£5. We say that a properly divides b if a\b and b does not divide a. We call 5 archimedean if for all a, b £5, a divides some power of b. It is known that every commutative semigroup is uniquely expressible as a semilattice of archimedean semigroup...

Convex $L$-lattice subgroups in $L$-ordered groups

In this paper, we have focused to study convex $L$-subgroups of an $L$-ordered group. First, we introduce the concept of a convex $L$-subgroup and a convex $L$-lattice subgroup of an $L$-ordered group and give some examples. Then we find some properties and use them to construct convex $L$-subgroup generated by a subset $S$ of an $L$-ordered group $G$ . Also, we generalize a well known result a...

Ordered O-stable Groups

An ordered structure M is called o-λ-stable if for any subset A with |A| ≤ λ and for any cut in M there are at most λ 1-types over A which are consistent with the cut. It is proved in the paper that an ordered o-stable group is abelian. Also there were investigated definable subsets and unary functions of o-stable groups.